Feasible combinatorial matrix theory Polytime proofs for König’s Min-Max and related theorems
نویسندگان
چکیده
We show that the well-known König’s Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory LA with induction restricted to Σ1 formulas. This is an improvement over the standard textbook proof of KMM which requires Π2 induction, and hence does not yield feasible proofs — while our new approach does. LA is a weak theory that essentially captures the ring properties of matrices; however, equipped with Σ1 induction LA is capable of proving KMM, and a host of other combinatorial properties such as Menger’s, Hall’s and Dilworth’s Theorems. Therefore, our result formalizes Min-Max type of reasoning within a feasible framework.
منابع مشابه
Feasible Combinatorial Matrix Theory
We give the first, as far as we know, feasible proof of König’s Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, and we show the equivalence of KMM to various Min-Max principles, with proofs of low complexity.
متن کاملCsc5160: Combinatorial Optimization and Approximation Algorithms Topic: Min-max Theorem
In this lecture, we show the applications of the strong duality theorem, and discuss how to obtain min-max theorems and combinatorial algorithms from linear programming. We first introduce the 2 player, zero-sum game and show that this can be solved by minimax theorem and we also prove the minimax theorem by the LP-duality theorem. After that, we introduce some applications of minimax theorem, ...
متن کاملSOME HYPER K-ALGEBRAIC STRUCTURES INDUCED BY MAX-MIN GENERAL FUZZY AUTOMATA
We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...
متن کاملComputational Complexity of Higher Type Functions
The customary identification of feasible with polytime is discussed, Next, higher type functions are presented as a way of giving computational meaning to theorems. In particular, if a theorem has a "feasibly constructive" proof, the associated functions should be polytime. However examples are given to illustrate the difficulty of capturing the notion of polytime for higher type functions. Fin...
متن کاملFUZZY SOFT MATRIX THEORY AND ITS APPLICATION IN DECISION MAKING
In this work, we define fuzzy soft ($fs$) matrices and theiroperations which are more functional to make theoretical studies inthe $fs$-set theory. We then define products of $fs$-matrices andstudy their properties. We finally construct a $fs$-$max$-$min$decision making method which can be successfully applied to theproblems that contain uncertainties.
متن کامل